Mask-of type

The [T:TYPE] MaskOf := MASK(T) type descriptor refers to a MASK exposing all of T's functions.